⚖️ RISC-V Formal - matmat · Scour

One ISA, Infinite Use Cases: RISC-V and the Road to Workload-Specific Silicon

riscv.org·16h

🧲RISC-V Preservation

Lessons from Formally Verified Deployed Software Systems (Extended version)

arxiv.org·1d

⚖️Verification Calculi

Hint-Based SMT Proof Reconstruction

arxiv.org·7h

🧮SMT Solvers

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

Recap of ELISA Project at Linux Plumbers Conference: Tokyo, Japan 2025

elisa.tech·17h

BPF Verifier State Pruning: Timeline

pchaigno.github.io·2d

🛡️Archive Verification

Can We Build an NX Bit for LLMs

bogdandeac.com·1d·

Discuss: Hacker News

🖥️Modern Terminals

Pushing the Packed SIMD Extension Over the Line: An Update on the Progress of Key RISC-V Extension

semiwiki.com·1d

📊RISC-V Vectors

I am performing chipset-level repair on a Biostar B460GTA Rev 5.0 motherboard and I need help.

forums.anandtech.com·1d

⚡Circuit Archaeology

Making a Language

thunderseethe.dev·13h

🛠Language Design

VCP v1.1: Cryptographic Audit Trails for AI Trading Systems (EU AI Act Ready)

dev.to·2h·

Discuss: DEV

🌳Archive Merkle Trees

haskellweekly.news·57m

🔗Functional Compilers

RISC-V and Post-Quantum Cryptography

fprox.substack.com·2d·

Discuss: Substack

🔐Quantum Security

High-Performance Industrial Control Platform Using MST3576

hackster.io·3d

⚙️RISC-V Microcode

Building Your Own Efficient uint128 in C++

solidean.com·1d·

Discuss: Lobsters, Hacker News, Hacker News, r/cpp

🧮Algebraic Datatypes

In Praise of APL (1977)

jsoftware.com·3h·

Discuss: Hacker News

📊APL Heritage

Every Mini PC & SFF Hardware Announced at CES 2026

williamlam.com·20h

🖥️Terminal Renaissance

Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection

binarly.io·1d

🔬Binary Analysis

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·20h·

Discuss: Hacker News

🔒Type Safety

CodeSOD: Well Timed Double Checking

thedailywtf.com·2d

🧪Binary Fuzzing

Loading more...